<map id="G" name="G">
<area shape="rect" id="node11" href="$WebCL__types_8idl.html" title="WebCL_types.idl" alt="" coords="771,86,893,117"/>
</map>
